APPLICATION Contracts

Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Contracts
indexing
    description: "Root class for this application."
    author: "Timon Hertli"
    date: "$Date: 2005/1/7 18:8:41 $"
    revision: "1.0.0"

class interface
    APPLICATION

create 
    make_and_launch

end -- class APPLICATIONClasses Clusters Cluster hierarchy Chart Relations Text Contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com